Empirical Validation of Reliable Requirement Specification Framework
نویسندگان
چکیده
In the view of changing technologies in requirement engineering the RRS framework is being introduced [1] for early stage requirement defect identification [2] and mitigation [3] during software development process to make requirement specification reliable. With the use of RRS framework at early stage of SDLC, requirement defect identification and their proper mitigation has become cheaper than to later stages. The principal purpose of this framework is to filter out requirements stage defects from entering into later stages of SDLC. In this paper, it is being tried to show the experimental design for validating RRS Framework and to give comparative analysis with petri net tool [9] which is meant for later stages of software development process. Under RRS framework two major techniques have been introduced, one for requirement defect identification [2] and other for requirement defect mitigation [3] which now being tried to validate through empirical design under pre-tryout, tryout and statistical analysis with hypothesis methodology.
منابع مشابه
U2Z Framework for Improving the Readability of Requirements of Safety Critical Systems
The aim of this paper is to present a framework which helps in accessing and improving the specification especially for Safety Critical System. This proposed framework takes use case diagram as input and produces a formal model of functional requirements as output. This formalization allows the developer to document a correct and complete specification which is the ultimate need for the reliabl...
متن کاملEstablishing an Argument-Based Validity Approach for a Low-Stake Test of Collocational Behavior
Most of the validation studies conducted across varying test application contexts are usually framed within the traditional conceptualization of validity and therefore lack a comprehensive framework to focus on test score interpretations and test score use. This study aimed at developing and validating a collocational behavior test (CBT), drawing on Kane's argument-based approach to validity. F...
متن کاملThe Epistemology of Validation and Verification Testing
We wish to be able to give formal definitions (in the sense of science or engineering) for concepts like requirements validation and for the relationship between a requirements specification and an abstract design of the intended system. Ditto validation of designs and the final executable application with respect to the original "application concept", on the one hand, and the requirement speci...
متن کاملEmpirical Software Engineering
This research addresses the problem of statically analyzing input command syntax as defined in interface and requirements specifications and then generating test cases for dynamic input validation testing. The IVAT (Input Validation Analysis and Testing) technique has been developed, a proof-of-concept tool (MICASA) has been implemented, and a case study validation has been performed. Empirical...
متن کاملAn application of a four-way framework for validating a specification: Animating an Object-Z specification using Prolog
A great deal of the benefits of formal methods stems from their ability to rigorously and precisely specify, at an initial stage, the requirements of the system being developed. Errors in requirements are detected and eliminated earlier and important properties of the system can be formally established thereby, allowing the analysis of the behaviour of the system before the design. These benefi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013